$\forall$$T$:Type, $L$:($T$ List). sublist($T$; []; $L$) $\Leftarrow\!\Rightarrow$ True